Optimal. Leaf size=318 \[ \frac {b \left (5 b^2-17 a c\right )}{3 a^3 x^3 \left (b^2-4 a c\right )}-\frac {5 b^2-12 a c}{4 a^2 x^4 \left (b^2-4 a c\right )}-\frac {\left (3 a^2 c^2-12 a b^2 c+5 b^4\right ) \log \left (a+b x+c x^2\right )}{2 a^6}+\frac {\log (x) \left (3 a^2 c^2-12 a b^2 c+5 b^4\right )}{a^6}+\frac {b \left (29 a^2 c^2-27 a b^2 c+5 b^4\right )}{a^5 x \left (b^2-4 a c\right )}-\frac {12 a^2 c^2-22 a b^2 c+5 b^4}{2 a^4 x^2 \left (b^2-4 a c\right )}+\frac {b \left (-70 a^3 c^3+105 a^2 b^2 c^2-42 a b^4 c+5 b^6\right ) \tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )}{a^6 \left (b^2-4 a c\right )^{3/2}}+\frac {-2 a c+b^2+b c x}{a x^4 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )} \]
________________________________________________________________________________________
Rubi [A] time = 0.39, antiderivative size = 318, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 7, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.318, Rules used = {1585, 740, 800, 634, 618, 206, 628} \begin {gather*} -\frac {12 a^2 c^2-22 a b^2 c+5 b^4}{2 a^4 x^2 \left (b^2-4 a c\right )}-\frac {\left (3 a^2 c^2-12 a b^2 c+5 b^4\right ) \log \left (a+b x+c x^2\right )}{2 a^6}+\frac {b \left (29 a^2 c^2-27 a b^2 c+5 b^4\right )}{a^5 x \left (b^2-4 a c\right )}+\frac {\log (x) \left (3 a^2 c^2-12 a b^2 c+5 b^4\right )}{a^6}+\frac {b \left (105 a^2 b^2 c^2-70 a^3 c^3-42 a b^4 c+5 b^6\right ) \tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )}{a^6 \left (b^2-4 a c\right )^{3/2}}+\frac {b \left (5 b^2-17 a c\right )}{3 a^3 x^3 \left (b^2-4 a c\right )}-\frac {5 b^2-12 a c}{4 a^2 x^4 \left (b^2-4 a c\right )}+\frac {-2 a c+b^2+b c x}{a x^4 \left (b^2-4 a c\right ) \left (a+b x+c x^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 618
Rule 628
Rule 634
Rule 740
Rule 800
Rule 1585
Rubi steps
\begin {align*} \int \frac {1}{x \left (a x^2+b x^3+c x^4\right )^2} \, dx &=\int \frac {1}{x^5 \left (a+b x+c x^2\right )^2} \, dx\\ &=\frac {b^2-2 a c+b c x}{a \left (b^2-4 a c\right ) x^4 \left (a+b x+c x^2\right )}-\frac {\int \frac {-5 b^2+12 a c-5 b c x}{x^5 \left (a+b x+c x^2\right )} \, dx}{a \left (b^2-4 a c\right )}\\ &=\frac {b^2-2 a c+b c x}{a \left (b^2-4 a c\right ) x^4 \left (a+b x+c x^2\right )}-\frac {\int \left (\frac {-5 b^2+12 a c}{a x^5}+\frac {5 b^3-17 a b c}{a^2 x^4}+\frac {-5 b^4+22 a b^2 c-12 a^2 c^2}{a^3 x^3}+\frac {5 b^5-27 a b^3 c+29 a^2 b c^2}{a^4 x^2}+\frac {\left (b^2-4 a c\right ) \left (-5 b^4+12 a b^2 c-3 a^2 c^2\right )}{a^5 x}+\frac {b \left (5 b^6-37 a b^4 c+78 a^2 b^2 c^2-41 a^3 c^3\right )+c \left (5 b^6-32 a b^4 c+51 a^2 b^2 c^2-12 a^3 c^3\right ) x}{a^5 \left (a+b x+c x^2\right )}\right ) \, dx}{a \left (b^2-4 a c\right )}\\ &=-\frac {5 b^2-12 a c}{4 a^2 \left (b^2-4 a c\right ) x^4}+\frac {b \left (5 b^2-17 a c\right )}{3 a^3 \left (b^2-4 a c\right ) x^3}-\frac {5 b^4-22 a b^2 c+12 a^2 c^2}{2 a^4 \left (b^2-4 a c\right ) x^2}+\frac {b \left (5 b^4-27 a b^2 c+29 a^2 c^2\right )}{a^5 \left (b^2-4 a c\right ) x}+\frac {b^2-2 a c+b c x}{a \left (b^2-4 a c\right ) x^4 \left (a+b x+c x^2\right )}+\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \log (x)}{a^6}-\frac {\int \frac {b \left (5 b^6-37 a b^4 c+78 a^2 b^2 c^2-41 a^3 c^3\right )+c \left (5 b^6-32 a b^4 c+51 a^2 b^2 c^2-12 a^3 c^3\right ) x}{a+b x+c x^2} \, dx}{a^6 \left (b^2-4 a c\right )}\\ &=-\frac {5 b^2-12 a c}{4 a^2 \left (b^2-4 a c\right ) x^4}+\frac {b \left (5 b^2-17 a c\right )}{3 a^3 \left (b^2-4 a c\right ) x^3}-\frac {5 b^4-22 a b^2 c+12 a^2 c^2}{2 a^4 \left (b^2-4 a c\right ) x^2}+\frac {b \left (5 b^4-27 a b^2 c+29 a^2 c^2\right )}{a^5 \left (b^2-4 a c\right ) x}+\frac {b^2-2 a c+b c x}{a \left (b^2-4 a c\right ) x^4 \left (a+b x+c x^2\right )}+\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \log (x)}{a^6}-\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \int \frac {b+2 c x}{a+b x+c x^2} \, dx}{2 a^6}-\frac {\left (b \left (5 b^6-42 a b^4 c+105 a^2 b^2 c^2-70 a^3 c^3\right )\right ) \int \frac {1}{a+b x+c x^2} \, dx}{2 a^6 \left (b^2-4 a c\right )}\\ &=-\frac {5 b^2-12 a c}{4 a^2 \left (b^2-4 a c\right ) x^4}+\frac {b \left (5 b^2-17 a c\right )}{3 a^3 \left (b^2-4 a c\right ) x^3}-\frac {5 b^4-22 a b^2 c+12 a^2 c^2}{2 a^4 \left (b^2-4 a c\right ) x^2}+\frac {b \left (5 b^4-27 a b^2 c+29 a^2 c^2\right )}{a^5 \left (b^2-4 a c\right ) x}+\frac {b^2-2 a c+b c x}{a \left (b^2-4 a c\right ) x^4 \left (a+b x+c x^2\right )}+\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \log (x)}{a^6}-\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \log \left (a+b x+c x^2\right )}{2 a^6}+\frac {\left (b \left (5 b^6-42 a b^4 c+105 a^2 b^2 c^2-70 a^3 c^3\right )\right ) \operatorname {Subst}\left (\int \frac {1}{b^2-4 a c-x^2} \, dx,x,b+2 c x\right )}{a^6 \left (b^2-4 a c\right )}\\ &=-\frac {5 b^2-12 a c}{4 a^2 \left (b^2-4 a c\right ) x^4}+\frac {b \left (5 b^2-17 a c\right )}{3 a^3 \left (b^2-4 a c\right ) x^3}-\frac {5 b^4-22 a b^2 c+12 a^2 c^2}{2 a^4 \left (b^2-4 a c\right ) x^2}+\frac {b \left (5 b^4-27 a b^2 c+29 a^2 c^2\right )}{a^5 \left (b^2-4 a c\right ) x}+\frac {b^2-2 a c+b c x}{a \left (b^2-4 a c\right ) x^4 \left (a+b x+c x^2\right )}+\frac {b \left (5 b^6-42 a b^4 c+105 a^2 b^2 c^2-70 a^3 c^3\right ) \tanh ^{-1}\left (\frac {b+2 c x}{\sqrt {b^2-4 a c}}\right )}{a^6 \left (b^2-4 a c\right )^{3/2}}+\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \log (x)}{a^6}-\frac {\left (5 b^4-12 a b^2 c+3 a^2 c^2\right ) \log \left (a+b x+c x^2\right )}{2 a^6}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.38, size = 272, normalized size = 0.86 \begin {gather*} \frac {-\frac {3 a^4}{x^4}+\frac {8 a^3 b}{x^3}+\frac {6 a^2 \left (2 a c-3 b^2\right )}{x^2}+12 \log (x) \left (3 a^2 c^2-12 a b^2 c+5 b^4\right )-6 \left (3 a^2 c^2-12 a b^2 c+5 b^4\right ) \log (a+x (b+c x))+\frac {12 b \left (-70 a^3 c^3+105 a^2 b^2 c^2-42 a b^4 c+5 b^6\right ) \tan ^{-1}\left (\frac {b+2 c x}{\sqrt {4 a c-b^2}}\right )}{\left (4 a c-b^2\right )^{3/2}}-\frac {12 a \left (2 a^3 c^3-9 a^2 b^2 c^2-5 a^2 b c^3 x+6 a b^4 c+5 a b^3 c^2 x-b^6-b^5 c x\right )}{\left (b^2-4 a c\right ) (a+x (b+c x))}-\frac {24 a b \left (3 a c-2 b^2\right )}{x}}{12 a^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x \left (a x^2+b x^3+c x^4\right )^2} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 3.18, size = 1640, normalized size = 5.16
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.44, size = 347, normalized size = 1.09 \begin {gather*} -\frac {{\left (5 \, b^{7} - 42 \, a b^{5} c + 105 \, a^{2} b^{3} c^{2} - 70 \, a^{3} b c^{3}\right )} \arctan \left (\frac {2 \, c x + b}{\sqrt {-b^{2} + 4 \, a c}}\right )}{{\left (a^{6} b^{2} - 4 \, a^{7} c\right )} \sqrt {-b^{2} + 4 \, a c}} - \frac {{\left (5 \, b^{4} - 12 \, a b^{2} c + 3 \, a^{2} c^{2}\right )} \log \left (c x^{2} + b x + a\right )}{2 \, a^{6}} + \frac {{\left (5 \, b^{4} - 12 \, a b^{2} c + 3 \, a^{2} c^{2}\right )} \log \left ({\left | x \right |}\right )}{a^{6}} - \frac {3 \, a^{5} b^{2} - 12 \, a^{6} c - 12 \, {\left (5 \, a b^{5} c - 27 \, a^{2} b^{3} c^{2} + 29 \, a^{3} b c^{3}\right )} x^{5} - 6 \, {\left (10 \, a b^{6} - 59 \, a^{2} b^{4} c + 80 \, a^{3} b^{2} c^{2} - 12 \, a^{4} c^{3}\right )} x^{4} - 2 \, {\left (15 \, a^{2} b^{5} - 86 \, a^{3} b^{3} c + 104 \, a^{4} b c^{2}\right )} x^{3} + {\left (10 \, a^{3} b^{4} - 49 \, a^{4} b^{2} c + 36 \, a^{5} c^{2}\right )} x^{2} - 5 \, {\left (a^{4} b^{3} - 4 \, a^{5} b c\right )} x}{12 \, {\left (c x^{2} + b x + a\right )} {\left (b^{2} - 4 \, a c\right )} a^{6} x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.02, size = 619, normalized size = 1.95 \begin {gather*} -\frac {5 b \,c^{3} x}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{3}}-\frac {70 b \,c^{3} \arctan \left (\frac {2 c x +b}{\sqrt {4 a c -b^{2}}}\right )}{\left (4 a c -b^{2}\right )^{\frac {3}{2}} a^{3}}+\frac {5 b^{3} c^{2} x}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{4}}+\frac {105 b^{3} c^{2} \arctan \left (\frac {2 c x +b}{\sqrt {4 a c -b^{2}}}\right )}{\left (4 a c -b^{2}\right )^{\frac {3}{2}} a^{4}}-\frac {b^{5} c x}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{5}}-\frac {42 b^{5} c \arctan \left (\frac {2 c x +b}{\sqrt {4 a c -b^{2}}}\right )}{\left (4 a c -b^{2}\right )^{\frac {3}{2}} a^{5}}+\frac {5 b^{7} \arctan \left (\frac {2 c x +b}{\sqrt {4 a c -b^{2}}}\right )}{\left (4 a c -b^{2}\right )^{\frac {3}{2}} a^{6}}+\frac {2 c^{3}}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{2}}-\frac {9 b^{2} c^{2}}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{3}}-\frac {6 c^{3} \ln \left (c \,x^{2}+b x +a \right )}{\left (4 a c -b^{2}\right ) a^{3}}+\frac {6 b^{4} c}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{4}}+\frac {51 b^{2} c^{2} \ln \left (c \,x^{2}+b x +a \right )}{2 \left (4 a c -b^{2}\right ) a^{4}}-\frac {b^{6}}{\left (c \,x^{2}+b x +a \right ) \left (4 a c -b^{2}\right ) a^{5}}-\frac {16 b^{4} c \ln \left (c \,x^{2}+b x +a \right )}{\left (4 a c -b^{2}\right ) a^{5}}+\frac {5 b^{6} \ln \left (c \,x^{2}+b x +a \right )}{2 \left (4 a c -b^{2}\right ) a^{6}}+\frac {3 c^{2} \ln \relax (x )}{a^{4}}-\frac {12 b^{2} c \ln \relax (x )}{a^{5}}+\frac {5 b^{4} \ln \relax (x )}{a^{6}}-\frac {6 b c}{a^{4} x}+\frac {4 b^{3}}{a^{5} x}+\frac {c}{a^{3} x^{2}}-\frac {3 b^{2}}{2 a^{4} x^{2}}+\frac {2 b}{3 a^{3} x^{3}}-\frac {1}{4 a^{2} x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.14, size = 1260, normalized size = 3.96 \begin {gather*} \frac {\ln \relax (x)\,\left (3\,a^2\,c^2-12\,a\,b^2\,c+5\,b^4\right )}{a^6}-\frac {\frac {1}{4\,a}-\frac {x^2\,\left (9\,a\,c-10\,b^2\right )}{12\,a^3}-\frac {5\,b\,x}{12\,a^2}+\frac {x^4\,\left (-12\,a^3\,c^3+80\,a^2\,b^2\,c^2-59\,a\,b^4\,c+10\,b^6\right )}{2\,a^5\,\left (4\,a\,c-b^2\right )}+\frac {b\,x^3\,\left (26\,a\,c-15\,b^2\right )}{6\,a^4}+\frac {b\,c\,x^5\,\left (29\,a^2\,c^2-27\,a\,b^2\,c+5\,b^4\right )}{a^5\,\left (4\,a\,c-b^2\right )}}{c\,x^6+b\,x^5+a\,x^4}+\frac {\ln \left (288\,a^6\,c^5-10\,b^{11}\,x-10\,a\,b^{10}+10\,a\,b^7\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+139\,a^2\,b^8\,c+10\,b^8\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-717\,a^3\,b^6\,c^2+1643\,a^4\,b^4\,c^3-1508\,a^5\,b^2\,c^4-69\,a^2\,b^5\,c\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-53\,a^4\,b\,c^3\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-779\,a^2\,b^7\,c^2\,x+1916\,a^3\,b^5\,c^3\,x-1998\,a^4\,b^3\,c^4\,x+36\,a^4\,c^4\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+144\,a\,b^9\,c\,x+129\,a^3\,b^3\,c^2\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+568\,a^5\,b\,c^5\,x-84\,a\,b^6\,c\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+225\,a^2\,b^4\,c^2\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-206\,a^3\,b^2\,c^3\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}\right )\,\left (a^3\,\left (466\,b^4\,c^3-35\,b\,c^3\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}\right )-a^2\,\left (\frac {387\,b^6\,c^2}{2}-\frac {105\,b^3\,c^2\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}}{2}\right )-\frac {5\,b^{10}}{2}+96\,a^5\,c^5+\frac {5\,b^7\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}}{2}+a\,\left (36\,b^8\,c-21\,b^5\,c\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}\right )-456\,a^4\,b^2\,c^4\right )}{-64\,a^9\,c^3+48\,a^8\,b^2\,c^2-12\,a^7\,b^4\,c+a^6\,b^6}-\frac {\ln \left (10\,a\,b^{10}+10\,b^{11}\,x-288\,a^6\,c^5+10\,a\,b^7\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-139\,a^2\,b^8\,c+10\,b^8\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+717\,a^3\,b^6\,c^2-1643\,a^4\,b^4\,c^3+1508\,a^5\,b^2\,c^4-69\,a^2\,b^5\,c\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-53\,a^4\,b\,c^3\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+779\,a^2\,b^7\,c^2\,x-1916\,a^3\,b^5\,c^3\,x+1998\,a^4\,b^3\,c^4\,x+36\,a^4\,c^4\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-144\,a\,b^9\,c\,x+129\,a^3\,b^3\,c^2\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-568\,a^5\,b\,c^5\,x-84\,a\,b^6\,c\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}+225\,a^2\,b^4\,c^2\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}-206\,a^3\,b^2\,c^3\,x\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}\right )\,\left (a^2\,\left (\frac {387\,b^6\,c^2}{2}+\frac {105\,b^3\,c^2\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}}{2}\right )-a^3\,\left (466\,b^4\,c^3+35\,b\,c^3\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}\right )+\frac {5\,b^{10}}{2}-96\,a^5\,c^5+\frac {5\,b^7\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}}{2}-a\,\left (36\,b^8\,c+21\,b^5\,c\,\sqrt {-{\left (4\,a\,c-b^2\right )}^3}\right )+456\,a^4\,b^2\,c^4\right )}{-64\,a^9\,c^3+48\,a^8\,b^2\,c^2-12\,a^7\,b^4\,c+a^6\,b^6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________